fix accidentally deleted files